1821. The top ten algorithms in data mining
پدیدآورنده : edited by Xindong Wu, Vipin Kumar
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Data mining,Computer algorithms
رده :
QA
.
D343
,
T66
76
.
9
2009
1822. The top ten algorithms in data mining
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data mining. ; Computer algorithms. ;
1823. Theory and Applications of Satisfiability Testing – SAT 2015
پدیدآورنده : \ Marijn Heule , Sean Weaver (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتم‌های کامپیوتری -- کنگره ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها ,الگوریتم‌های کامپیوتری
رده :
QA
76
.
9
.
A43
2015
E-Book
,
1824. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده : Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
1825. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
پدیدآورنده : Armin Biere, Carla P. Gomes )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
1826. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
پدیدآورنده : Fahiem Bacchus, Toby Walsh )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
1827. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
پدیدآورنده : Holger H. Hoos, David G. Mitchell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
1828. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
پدیدآورنده : Enrico Giunchiglia, Armando Tacchella )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
1829. Theory and practice of algorithms in (computer) systems
پدیدآورنده : Alberto Marchetti-Spaccamela, Michael Segal (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms, Congresses
رده :
QA76
.
9
.
A43
T37
2011
1830. Theory of algorithms
پدیدآورنده : edited by L. Lovasz and E. Szemeredi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algorithms,Congresses ، Machine translating,Congresses ، Computer programming
رده :
QA
9
.
58
.
C64
1984
1831. Time structures :
پدیدآورنده : Elżbieta Hajnicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer algorithms.,Time.
رده :
QA76
.
9
.
A43
E493
1996
1832. Time structures : formal description and algorithmic representation
پدیدآورنده : Hajnicz, Elzbieta
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer algorithms,، Time,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1047
1833. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
1834. Topics in Industrial Mathematics
پدیدآورنده : by Helmut Neunzert, Abul Hasan Siddiqi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computer science-- Mathematics.,Electronic data processing.,Mathematical optimization.,Mathematics.
1835. Topics in matroid theory
پدیدآورنده : Leonidas S Pitsoulis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Matroids,، Algorithms,، Computer algorithms
رده :
QA
1836. Topics in matroid theory /
پدیدآورنده : Leonidas S. Pitsoulis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Matroids.,Algorithms.,Computer algorithms.,Matroids.,Network analysis (Planning)
رده :
QA166
.
6
1837. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
1838. Towards evolvable hardware : the evolutionary engineering approach
پدیدآورنده : Eduardo Sanchez, Marco Tomassini )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1062
1839. Tractability :
پدیدآورنده : edited by Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial optimization-- Data processing.,Computer algorithms.
